sentential calculus

[senˈtenʃəl ˈkælkjələs]
un. 命题演算；语句演算
[网络] 句子演算

热门查询

concessionaire　　n. 特许权获得者，受让人
cuticle　　n. 角质层；表皮；护膜
goat　　n. 山羊；替罪羊（美俚）；色鬼（美俚）
Lakeland　　n. 湖泊地区
tiler　　n. 砖瓦匠；秘密集会的看守人（等于tyler） n. (Tiler)人名；(土)蒂莱尔
living standard　　n. 生活水平 [网络] 生活标准；生活水准；生活质素
redshifted　　n. [天文学]红移[亦作red shift,参较cosmological redshift, doppler effect, gravitational redshift]
provocatively　　煽动地挑衅性
gnat　　n. [昆] 小昆虫；小烦扰 n. (Gnat)人名；(英)纳特；(俄)格纳特
gastric　　adj. 胃的；胃部的
feta　　n. 羊乳酪 n. (Feta)人名；(塞)费塔
brown　　n. 褐色，棕色 adj. 棕色的，褐色的；太阳晒黑的 vt. 使变成褐色 vi. 变成褐色 n. (Brown)人名；(英、意、芬、捷、德、法、西、葡)布朗
garth　　n. 庭院；中庭；为捕鱼而筑的坝或堰 n. (Garth)人名；(德)加特；(英)加思
apparat　　n. 政治组织；地下活动组织
welt　　n. 贴边，[服装] 沿条；鞭痕；殴打 n. (Welt)人名；(英、德、罗)韦尔特 vt. 加沿条于……；使……留下鞭痕；对……进行殴打
neurology　　n. 神经病学；神经学
plated　　adj. 镀金的；电镀的；装甲的 v. 电镀；给…装甲（plate的过去式及过去分词形式）
stairs　　n. 楼梯；梯级（stair的复数） n. (Stairs)人名；(英)斯泰尔斯
historiographer　　n. 历史学家；史料编纂者
welcome　　n. 欢迎 vt. 欢迎 adj. 受欢迎的 int. 欢迎 n. (Welcome)人名；(英)韦尔科姆